Object type

Results: 830



#Item
61Software engineering / Computer programming / Computing / Object-oriented programming languages / Subroutines / Data types / Functional programming / Type theory / Parameter / Type system / Higher-order function / Pointer

Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:51
62Software engineering / Computer programming / Computing / Functional languages / Functional programming / Object-oriented programming languages / Scripting languages / Type theory / Haskell / Cabal / Monad / Type class

Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
63Software engineering / Computer programming / Declarative programming / Type theory / Functional programming / Procedural programming languages / Data types / Object-oriented programming / Monad / ALGOL 68 / Polymorphism / Abstract type

A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-08-25 14:30:22
64Type theory / Data types / Software engineering / Object-oriented programming / Computing / Polymorphism / Functional programming / Type system / Subtyping / Symbol / Uniqueness type

Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared,

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-02 06:27:04
65Fuzzy logic / Logic / Mathematical logic / Science and technology / Fuzzy set / Fuzzy classification / Defuzzification / Fuzzy rule / Geographic information system / Type-2 fuzzy sets and systems

情報地質 第27巻 第2号 頁 2016年 Geoinformatics, vol.27, no.2, pp, 2016 Pixel Based and Object Based Fuzzy LULC Classification using GRASS GIS and RapidEye Imagery of Lao Cai Area, Vietnam Thi Han

Add to Reading List

Source URL: www.jsgi-map.org

Language: English - Date: 2016-05-23 07:07:14
66Software engineering / Computing / Computer programming / Functional languages / Object-oriented programming languages / Type theory / Concurrent programming languages / Programming paradigms / Haskell / Scala / Mixin / Concurrent computing

Advances in Programming Languages APL12: Coursework Assignment, Review David Aspinall School of Informatics The University of Edinburgh

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-02-17 17:51:35
67Procedural programming languages / Object-oriented programming languages / Cross-platform software / Functional languages / ALGOL 68 / Type system / D / Inline expansion / ARM architecture / Bit array / C / Quantization

Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:06:07
68Remote procedure call / Inter-process communication / Apache Avro / IDL / Interface description language / JSON / Common Object Request Broker Architecture / Protocol Buffers / Array data type / Apache Thrift / Comparison of data serialization formats

Apache Avro# 1.8.1 IDL Table of contents 1 Introduction........................................................................................................................2

Add to Reading List

Source URL: avro.apache.org

Language: English - Date: 2016-05-21 18:02:26
69Type theory / Object-oriented programming languages / Type systems / Cross-platform software / High-level programming languages / Gradual typing / D / Python syntax and semantics / Duck typing

Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Indiana University Bloomington

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:54
70Data types / Object-oriented programming / Microsoft BASIC / Visual Basic .NET / HRESULT / IUnknown / Server / Dynamic-link library / Len / Variant type

Luxriot ClientKit Manual Table of Contents Adding Components Connecting To Server Handling Server Events Working With Time

Add to Reading List

Source URL: www.luxriot.com

Language: English - Date: 2016-06-06 08:22:43
UPDATE